Search AI Products and News

On June 23, NetEase Youdao officially launched and open-sourced its latest 'Ziyue 3' series large model, named 'Confucius3-Math' in English. This reasoning model, focused on mathematical education, can efficiently run on ordinary consumer-grade GPUs, becoming the first low-cost and high-performance AI educational tool in China. In a series of mathematical reasoning tasks, 'Ziyue 3' has demonstrated outstanding performance that surpasses many large-scale general models. The 'Ziyue Math Model' achieves this through large-scale reinforcement learning and a series of innovative algorithms.

A recent joint study by Google, Carnegie Mellon University, and MultiOn explores the application of synthetic data in training large language models. According to Epoch AI, a research institution focused on AI development, currently available high-quality text training data totals around 300 trillion tokens. However, with the rapid advancement of large models like ChatGPT, the demand for training data is growing exponentially, projected to exhaust existing resources by 2026. Therefore, synthetic data is becoming increasingly crucial.

Ces lunettes intelligentes à véritable IA adopteront une architecture à double puce et intégreront un appareil photo dont les performances devraient rivaliser avec celles des Meta Ray-Ban. Elles pourront non seulement percevoir le monde réel grâce à leur objectif, mais aussi proposer une expérience interactive riche et variée grâce à l’IA. Par exemple, les utilisateurs pourront identifier des objets, reconnaître automatiquement les restaurants et obtenir instantanément des informations pratiques telles que les prix et les notes, une fonctionnalité similaire au système de vision intelligent d’Apple.

On March 6, 2025, a new language model called **Light-R1-32B** was officially launched. Built upon the **Qwen2.5-32B-Instruct** model, this mathematical problem-solving tool, specially trained for exceptional mathematical abilities, low training costs, and reproducibility, is a significant highlight in the field of artificial intelligence. The development team xAI stated that Light-R1-32B not only surpasses similar models in performance but also provides significant benefits for academic research and practical applications.

In the field of artificial intelligence, Mistral's recently released AI assistant Le Chat has garnered widespread attention. Just two weeks after its launch, the app achieved an impressive milestone — surpassing one million downloads. This achievement has sparked excitement not only in its home country of France but also led it to rapidly rise to the top of the free app download charts in the iOS App Store. French President Emmanuel Macron mentioned Le Chat in a recent television interview, encouraging the public to download this app developed by Mistral.

Mistral AI recently launched a new chatbot app 'Le Chat' on the Apple App Store. This app enables users to easily engage in natural language conversations, perform real-time web searches, analyze documents, and generate images, among other features. Currently, users can download the basic version for free and enjoy essential chat functionalities; additionally, users can opt for a Pro subscription at $14.99 per month to experience more advanced models. Mistral AI is a company that specializes in...

Mistral has recently announced a content agreement with Agence France-Presse (AFP) aimed at improving the answer accuracy of its chatbot product, Le Chat. This collaboration marks Mistral's first agreement with a media organization, signifying its commitment to showcase diverse products to users beyond large language models. Under the agreement, Le Chat will have access to approximately 2,300 news articles published daily by AFP, covering six languages: Arabic, English, French, and German.

Today, the Alibaba Cloud Tongyi team officially released the new mathematical reasoning process reward model Qwen2.5-Math-PRM. This model offers two sizes, 72B and 7B, with performance significantly outperforming similar open-source process reward models, especially excelling in identifying reasoning errors. The 7B version of Qwen2.5-Math-PRM astonishingly surpasses the widely popular GPT-4o, marking an important step in Alibaba Cloud's research and development of reasoning models.

Today, iFLYTEK Spark 4.0 Turbo has undergone a comprehensive upgrade, with significant improvements in its seven core capabilities—text generation, language understanding, knowledge Q&A, logical reasoning, mathematical ability, coding ability, and multimodal ability—surpassing the powerful performance of GPT-4o in math and coding.

DeepSeek AI recently launched DeepSeek-V2.5-1210, an enhanced version of DeepSeek-V2.5, aimed at improving AI performance in math, programming, writing, and reasoning tasks. Earlier versions of the model achieved some success in solving math and reasoning tasks, but the stability of performance across various applications needed enhancement, especially in real-time coding and meticulous writing. These shortcomings underscore the potential for developing a more flexible and reliable AI model.

Recently, AI large language models (LLMs) have been performing remarkably well in various tasks, effortlessly writing poetry, coding, and chatting; they seem to be capable of anything! But can you believe it? These 'genius' AIs are actually 'math novices'! They often fail dramatically when tackling simple arithmetic problems, leaving people astonished. A recent study unveiled the 'quirky' secret behind LLMs' arithmetic reasoning abilities: they rely neither on powerful algorithms nor solely on memory, but instead adopt a strategy known as 'heuristic hodgepodge'!

The Dark Side of the Moon Kimi Smart Assistant has announced the launch of its next-generation mathematical reasoning model, k0-math. The k0-math model has shown outstanding performance in multiple mathematical benchmark tests, surpassing OpenAI's o1 series models, o1-mini and o1-preview, in four mathematical benchmark assessments including middle school entrance exams, college entrance exams, graduate school entrance exams, and MATH competitions that include introductory problems.